<html>
<head>
</head>
<body>
      <p>
	Translation of Alloy {@link alloy.ast.Node}s into corresponding {@link alloy.bool.BooleanFormula}s.
	Translation is done on a much simplified AST, referred to as the <em>translatable AST</em>.
      Notes about the translatable AST: the Decls child of VarCreators is malformed and should
      be skipped during iteration.
      <p>
      No static variables can be declared in this package!
      <p>
</body>
</html>